Publications of
Charles Lesire, David Doose, Hugues Cassé
Validation of real-time properties of a robotic software architecture (regular paper)
In : National Conference on Control Architectures of Robots (CAR 2011), Grenoble, 24/05/11-25/05/11, Archives ouvertes HAL, (on line), May 2011.
Frédéric Minot, Jean-Paul Bodeveix, Mamoun Filali, David Doose, Charles Castel, Cédric Pralet, P. Bieber
Constraint-based design of Avionics platform- preliminary design exploration
In : European Congress on Embedded Real-Time Software (ERTS 2008), Toulouse, 31/01/08-01/02/08, Société de l’Electricité, de l’Electronique et des Technologies de l’Information et de la Communication (SEE), (electronic medium), January 2008.
Incremental validation of real-time systems
In : European Congress on Embedded Real-Time Software (ERTS 2006), Toulouse, 25/01/06-27/01/06, Société de l’Electricité, de l’Electronique et des Technologies de l’Information et de la Communication (SEE), pp. 1-10, 2006.
Polyhedra-based approach for incremental validation of real-time systems
In : IFIP International Conference on Embedded and Ubiquitous Computing (EUC’2005), Nagasaki, Japan, 06/12/05-09/12/05, Springer-Verlag, LNCS 3824, pp. 184-193, 2005.
Méthode basée sur les polyèdres pour la validation de systèmes temps réel à partir de connaissances partielle
In : 13th International Conference on Real-Time Systems and Embedded Systems (RTS¿05), Paris, 05/04/05-08/04/05, BIRP, pp. 437-458, April 2005.
Schedulability analysis and design of real-time embedded systems with partition
In : IFIP Working Conference on Distributed and Parallel Embedded Systems, DIPES 2004, Toulouse, 23/08/04-26/08/04, IFIP, pp. 167-176, August 2004.
Analyse des bornes d¿utilisation pour la validation de systèmes temps réel partionnés
In : 12ème Conférence Internationale sur les Systèmes Temps Réel et Embarqués, Paris, 30/03/04-01/04/04, Teknea, pp. 101-125, March 2004.
Schedulability analysis of systems with partitions under EDF
In : 7th World Multiconference on Systemics, Cybernetics and Informatics, SCI 2003, Orlando (USA), 27/07/03-30/07/03, ISAS – SCI, July 2003.
Une approche incrémentale de la validation de systèmes temps réel
Master’s Thesis, Université Paul Sabatier, July 2006.